Шумилин А. В. , Шумилин А. В. «Основные элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в СУБД PostgreSQL ОС специального назначения Astra Linux Special Edition» // Прикладная дискретная математика 2013. №3(21) C.52-67
Девянин П. Н. , Кокорин А. О. , Тиевский С. Д. , Кокорин А. О. , Девянин П. Н. , Тиевский С. Д. «Приемы дедуктивной вери фикации программного кода с использованием AstraVer Toolset» // Прикладная дискретная математика. Приложение 2022. №15 C.80-90
Вы можете добавить статью